1. Aspects of basic logic
Author: M. A. Behrostaghi
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Heyting algebra,Mathematics,Pure sciences,Stone representation
2. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
3. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
Author: Wallen, Lincoln A.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
Classification :
QA
9
.
54
.
W35
1990
4. Extensional Godel functional interpretation; a consistency proof of classical analysis
Author: Luckhardt, Horst
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Proof theory,، Intuitionistic mathematics
Classification :
QA
3
.
L28
no
.
306
5. Extensional Godel functional interpretation : a consistency proof of classical analysis
Author: Luckhardt, Horst
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Proof theory,، Intuitionistic mathematics
Classification :
QA
9
.
L8
1973
6. Foundations:
Author: edited by Hugues Leblanc, Elliott Mendelson, Alex Orenstein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General),Science -- Philosophy.
7. Fundamentals of artificial intelligence research :
Author: Ph. Jorrand, J. Kelemen, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Artificial intelligence.
Classification :
Q334
.
P456
1991
8. Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968
Author: Edited by A. Kino, J. Myhill and R. E. Vesley
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Intuitionistic mathematics
Classification :
QA
9
.
C742
9. Logic and its applications :
Author: Kamal Lodaya (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
Classification :
QA9
.
A1
K363
2013
10. Mathematical intuitionism : introduction to proof theory
Author: Dragalin, Albert Grigorevich
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Intuitionistic mathematics
Classification :
QA
9
.
D7313
1988
11. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
12. Metamathematical investigation of intuitionistic arithmetic and analysi
Author: / A.S. Troelstra (editor)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Intuitionistic mathematics.,Proof theory.,Model theory.
Classification :
QA3
,.
L28
,
no
.,
34
13. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
14. Metamathematical investigation of intuitionistic arithmetic and analysis
Author: / A. S. Troelstra
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Intutitionistic mathematics,Proof Theory,Model Theory
Classification :
510
.
8
Me
15. Metamathematical investigation of intuitionistic arithmetic and analysis
Author: Troelstra, Anne Sjerp
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Intuitionistic mathematics,، Proof theory,، Model theory
Classification :
QA
3
.
L28
no
.
344
16. Principles of intuitionism
Author: Troelstra, A. S. )Anne Sjerp(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Intuitionistic mathematics
Classification :
QA
3
.
L28
no
.
95
17. Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory )1968( at SUNY
Author: Troelstra, Anne Sjerp
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Intuitionistic mathematics
Classification :
QA
9
.
T84
1968
18. Proof Theory
Author: by Kurt Schütte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
19. Proof analysis :
Author: Sara Negri, Jan von Plato
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Proof theory
Classification :
QA9
.
54
.
N438
2011
20. Proof analysis
Author: / Sara Negri, Jan von Plato
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Proof theory
Classification :
E-BOOK
